Towards a formal description of Ada
- Författare
- (Edited by D. Bjørner and O.N. Oest.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | 1980 | Tyskland, Berlin, New York | xii, 630 sidor. | |
| Springer Berlin Heidelberg | 1980 | Utgivningsland okänt / Ej specificerat |